COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	%business letter outline to use with buslet.tex macros
C00005 ENDMK
C⊗;
%business letter outline to use with buslet.tex macros
\magnification =\magstephalf
\input buslet[1,ra]
\def\disleft#1:#2:#3\par{\par\hangindent#1\noindent
			 \hbox to #1{#2 \hfill \hskip .1em}\ignorespaces#3\par}
\def\display#1:#2:#3\par{\par\hangindent #1 \noindent
			\hbox to #1{\hfill #2 \hskip .1em}\ignorespaces#3 \par}
\def\adx#1:#2\par{\par\halign{\hskip #1##\hfill\cr #2}\par}


\jmclet

\vskip 30pt
\address 
Dr. Kent Curtis          
Mathematics and Computer Science Section
National Science Foundation
1800 G Street, N.W.
Washington, CD 20550
\body

Re: Grant MCS 82-06565

Dear Dr. Curtis:

We request a no-cost extension to June 30, 1987 on the above referenced  
grant. Dr. Jussi Ketonen is working under my direction on research entitled
``Mechanical Theorem Proving and Developemnt of EKL'', and he will be on leave
of absence for a year.  He expects to return and continue with this research
effort during the fall of 1986.  I understand that he has talked with you 
concerning the justification for this no-cost extension.

Thank you for your consideration of this request.

\closing
Yours sincerely,

John McCarthy    
Professor and 
Principal Investigator
\annotations
\vskip 1in
JMC/ra 
%\smallskip
%Enclosure
%\smallskip
%cc: Matthew Kahn
%\smallskip
%\ps
%P.S.: whatever you wish to say here

\endletter

\makelabel
\end